@Article{VérasVilAmbVieMad:2015:BePrAs,
               author = "V{\'e}ras, Paulo C. and Villani, Emilia and Ambrosio, Ana Maria 
                         and Vieira, Marco and Madeira, Henrique",
          affiliation = "{Instituto Tecnol{\'o}gico de Aeron{\'a}utica (ITA)} and 
                         {Instituto Tecnol{\'o}gico de Aeron{\'a}utica (ITA)} and 
                         {Instituto Nacional de Pesquisas Espaciais (INPE)} and 
                         {Universidade de Coimba (UC)} and {Universidade de Coimba (UC)}",
                title = "A benchmarking process to assess software requirements 
                         documentation for space applications",
              journal = "The Journal of Systems and Software",
                 year = "2015",
               volume = "9",
                pages = "1--14",
             keywords = "space systems, Benchmarking, ECSS standards, Software requirements 
                         quality.",
             abstract = "Poorly written requirements are a common source of software 
                         defects and, in application areas like space systems, the cost of 
                         malfunctioning software can be very high. This work proposes a 
                         benchmarking procedure for assessing the quality of software 
                         requirements that adopt the Packet Utilization Standard (PUS) 
                         defined by the European Cooperation for Space Standardization 
                         (ECSS) standards. The benchmark uses three checklists that aim at 
                         guaranteeing that the specifications comply with the PUS standard, 
                         consider faulty behaviour, and do not include errors typically 
                         found in this type of documents. The benchmark is defined for two 
                         services of the PUS standard: the telecommand verification and on 
                         board operating scheduling. A benchmark validation approach is 
                         also proposed in the paper. It uses the concept of fault injection 
                         to insert known errors in software requirements specification 
                         documents. The benchmark validation is performed through its 
                         application to three projects from different countries. Results 
                         show that our proposal provides a simple and effective way for 
                         identifying weaknesses and compare the degree of maturity of 
                         requirements documents.",
                  doi = "10.1016/j.jss.2014.10.054",
                  url = "http://dx.doi.org/10.1016/j.jss.2014.10.054",
                 issn = "0164-1212",
                label = "lattes: 6217509029802638 3 V{\'e}rasVilAmbVieMad:2014:BePrAs",
             language = "en",
           targetfile = "1-s2.0-S0164121214002404-main.pdf",
        urlaccessdate = "27 abr. 2024"
}